Section: Partnerships and Cooperations
International Initiatives
Inria International Partners
-
Collaboration with David Basin, Ralf Sasse and Lara Schmid (ETH Zurich), Cas Cremers (Univ Oxford), and Sasa Radomirovic (Univ Dundee) on the improvement of the TAMARIN prover
-
Collaboration with Bogdan Warinschi (Univ Bristol) on defining game-based privacy for e-voting protocols and isolated execution environments
-
Collaboration with Myrto Arapinis (Univ Edinburgh) on simplification results for the formal analysis of e-voting protocols
-
Collaboration with Matteo Maffei (CISPA, Germany) on type systems for e-voting systems
-
Collaboration with Michael Backes and Robert Künnemann (CISPA, Germany) on automated verification of security protocols
-
Collaboration with Paliath Narendran's group (SUNY Albany) on automated deduction
-
Collaboration with Hanifa Boucheneb's group (Polytechnique Montreal) on model-checking of collaborative systems
-
Collaboration with John Mullins's group (Polytechnique Montreal) on information hiding